Reasoning with models

Models of clinical reasoning with a focus on general practice: a critical review

Introduction: Diagnosis lies at the heart of general practice.Every day general practitioners (GPs) visit patients with awide variety of complaints and concerns, with often minor butsometimes serious symptoms. General practice has many featureswhich differentiate it from specialty care setting, but during thelast four decades little attention was paid to clinical reasoningin general practice. T...

Reasoning with Models

We develop a model-based approach to reasoning, in which the knowledge base is represented as a set of models (satisfying assignments) rather then a logical formula, and the set of queries is restricted. We show that for every propositional knowledge base (KB) there exists a set of characteristic models with the property that a query is true in KB if and only if it is satisfied by the models in...

Reasoning with Qualitative Models

Qualitative reasoning about physical systems has become one of the most productive areas in AI in recent years, due in part to the 1984 special issue of Artificial Intelligence on that topic. My contribution to that issue was a paper entitled "Commonsense reasoning about causality: deriving behavior from structure" [9]. From my perspective, that paper laid out a research program that has contin...

Reasoning with Goal Models

Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the pa...

Reasoning with Graphical Models